(0 7 2)(1 17 10)(3 11 5)(4 15 8)(6 16 13)(9 14 12)
ALLOWS (11/8)-SEQUENCE
1: (4 8 15)
(0 7 2)(1 17 10)(3 11 5)(4 8 15)(6 16 13)(9 14 12)
2: (3 11 5)
(0 7 2)(1 17 10)(3)(4 8 15)(5)(6 16 13)(9 14 12)(11)
3: (4 8 15)
(0 7 2)(1 17 10)(3)(4)(5)(6 16 13)(8)(9 14 12)(11)(15)
4: (6 16 13)
(0 7 2)(1 17 10)(3)(4)(5)(6)(8)(9 14 12)(11)(13)(15)(16)